Les relations fondamentales entre droites sécantes
Dans un même plan, lorsqu'une droite coupe une autre, deux types importants de relations angulaires apparaissent :
- angles adjacents sur une droite (adjacent angles on a straight line) : ils partagent un côté commun $OC$, et leurs autres côtés sont des prolongements opposés. Numériquement, les angles adjacents sont complémentaires (leur somme est égale à $180^\circ$).
- angles opposés (opposite angles) : ils ont un sommet commun $O$, et les côtés de l'un sont des prolongements opposés des côtés de l'autre.
Pourquoi les angles opposés sont-ils toujours égaux ? Examinons cela avec une logique rigoureuse :
$because$ $\angle 1$ et $\angle 2$ sont complémentaires (définition des angles adjacents)
$because$ $\angle 3$ et $\angle 2$ sont complémentaires (définition des angles adjacents)
$\therefore$ $\angle 1 = \angle 3$ (les suppléments du même angle sont égaux)
Perpendicularité : un cas particulier d'intersection
Perpendiculaire (Perpendicular) est un état extrême d'intersection. Lorsque deux droites se coupent et forment quatre angles dont un mesure $90^\circ$, ces deux droites sont perpendiculaires l'une à l'autre. Une de ces droites est appeléedroite perpendiculaire, et leur point d'intersection est appelépied de la perpendiculaire.
Critères et propriétés fondamentaux
- Langage symbolique : si les droites $a$ et $b$ sont perpendiculaires, on les note $a \perp b$ ; si les segments $AB$ et $CD$ sont perpendiculaires, on les note $AB \perp CD$.
- Axiome de perpendicularité : dans un même plan, par un point donné, il existe une et une seule droite perpendiculaire à une droite donnée. Cela établit launicité.
- le segment perpendiculaire est le plus court : parmi tous les segments reliant un point extérieur à une droite aux points de cette droite, le segment perpendiculaire est le plus court.